void test() {
    do a(); while (true);
    do { } while (true);
}
